From 256bdee6feae6dd37812872fd6312ccf25547210 Mon Sep 17 00:00:00 2001 From: Julien Grall Date: Fri, 30 Jan 2015 18:49:16 +0000 Subject: [PATCH] xen/arm: gic-v2: Change the device name in DT_DEVICE_START I'm not sure why a ':' has been added in the name... But none of the other usages doesn't have it. Signed-off-by: Julien Grall Acked-by: Stefano Stabellini Acked-by: Ian Campbell --- xen/arch/arm/gic-v2.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/arm/gic-v2.c b/xen/arch/arm/gic-v2.c index 31fb81a076..ee400b6926 100644 --- a/xen/arch/arm/gic-v2.c +++ b/xen/arch/arm/gic-v2.c @@ -770,7 +770,7 @@ static const char * const gicv2_dt_compat[] __initconst = NULL }; -DT_DEVICE_START(gicv2, "GICv2:", DEVICE_GIC) +DT_DEVICE_START(gicv2, "GICv2", DEVICE_GIC) .compatible = gicv2_dt_compat, .init = gicv2_init, DT_DEVICE_END -- 2.30.2